infinite intersection of open sets